Details

Time bar (total: 10.1s)

sample57.0ms

Algorithm
intervals
Results
23.0ms240×body80nan
12.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done8
18
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (sqrt (+ x 1.0)) (sqrt x))
0.0b
(sqrt (+ x 1.0))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
sqrt-prod
distribute-lft-out
add-sqr-sqrt add-log-exp
pow1 add-cube-cbrt
flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+
+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
2 → 30
Calls
2 calls:
59.0ms
(+ (sqrt (+ x 1.0)) (sqrt x))
14.0ms
(sqrt (+ x 1.0))

series224.0ms

Counts
2 → 6
Calls
2 calls:
145.0ms
(+ (sqrt (+ x 1.0)) (sqrt x))
79.0ms
(sqrt (+ x 1.0))

simplify2.7s

Counts
36 → 36
Iterations
IterNodes
done5000
32685
2666
1196
080

prune240.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) x)
9.5b
(/ (sqrt (+ (* (* 1.0 1.0) 1.0) (* (* x x) x))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
11.0b
(sqrt (+ (* (* 1.0 1.0) 1.0) (* (* x x) x)))
14.2b
(sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))

rewrite412.0ms

Algorithm
rewrite-expression-head
Rules
59×sqrt-prod
42×times-frac
40×add-sqr-sqrt
37×*-un-lft-identity add-cube-cbrt
25×pow1
17×pow3
11×add-cbrt-cube add-exp-log
sqrt-div sum-cubes
associate-/l*
associate-/r* pow-plus pow-prod-up
flip3-+ flip-+ add-log-exp
associate-*r* pow-prod-down prod-exp cbrt-unprod
pow2 rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ pow-sqr associate-/l/
cbrt-undiv sqrt-undiv clear-num frac-2neg div-exp associate-*l* *-commutative div-inv unswap-sqr
Counts
4 → 131
Calls
4 calls:
41.0ms
(* (* x x) x)
210.0ms
(/ (sqrt (+ (* (* 1.0 1.0) 1.0) (* (* x x) x))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
98.0ms
(sqrt (+ (* (* 1.0 1.0) 1.0) (* (* x x) x)))
53.0ms
(sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))

series456.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (* x x) x)
174.0ms
(/ (sqrt (+ (* (* 1.0 1.0) 1.0) (* (* x x) x))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
106.0ms
(sqrt (+ (* (* 1.0 1.0) 1.0) (* (* x x) x)))
106.0ms
(sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))

simplify3.3s

Counts
143 → 143
Iterations
IterNodes
done5000
22677
1500
0220

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes105.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done8
18
06

end0.0ms

sample1.3s

Algorithm
intervals
Results
567.0ms8000×body80valid
340.0ms7966×body80nan