Details

Time bar (total: 18.7s)

sample163.0ms

Algorithm
intervals
Results
21.0ms256×body80valid
21.0ms321×body80nan

simplify106.0ms

Counts
1 → 1
Iterations
IterNodes
done21
321
219
116
09

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 3 expressions with local error:

0.0b
(atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))
0.0b
(sqrt (/ (- 1.0 x) (+ 1.0 x)))
0.0b
(/ (- 1.0 x) (+ 1.0 x))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
45×add-sqr-sqrt
41×times-frac
26×sqrt-prod
24×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
5×add-exp-log add-cbrt-cube associate-/l*
4×pow1 associate-/r* associate-/r/
3×add-log-exp
2×rem-sqrt-square flip3-+ flip-+ div-inv associate-/l/
1×cbrt-undiv flip3-- frac-2neg sqrt-pow1 pow1/2 sqrt-div div-sub div-exp clear-num flip--
Counts
3 → 91
Calls
3 calls:
4.0ms
(atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))
45.0ms
(sqrt (/ (- 1.0 x) (+ 1.0 x)))
52.0ms
(/ (- 1.0 x) (+ 1.0 x))

series251.0ms

Counts
3 → 9
Calls
3 calls:
9.0ms
(atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))
151.0ms
(sqrt (/ (- 1.0 x) (+ 1.0 x)))
91.0ms
(/ (- 1.0 x) (+ 1.0 x))

simplify3.9s

Counts
100 → 100
Iterations
IterNodes
done5002
33923
2917
1348
0162

prune647.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(atan (sqrt (* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x))))
0.0b
(sqrt (* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x)))
0.0b
(* (- 1.0 x) (+ 1.0 x))
0.0b
(* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x))

rewrite443.0ms

Algorithm
rewrite-expression-head
Rules
22×associate-*l*
19×add-sqr-sqrt
17×*-un-lft-identity
15×add-exp-log add-cbrt-cube
12×frac-times
11×pow1
10×flip3-- flip--
9×add-cube-cbrt associate-*r*
8×associate-*r/ associate-/r/
6×flip3-+ associate-*l/ flip-+
5×times-frac sqrt-div prod-exp cbrt-unprod
4×add-log-exp
3×distribute-rgt-in distribute-lft-in pow-prod-down distribute-lft-out-- difference-of-squares
2×cbrt-undiv sub-neg sqrt-pow1 div-exp *-commutative unswap-sqr
1×pow1/2 sqrt-prod div-inv distribute-lft-out
Counts
4 → 101
Calls
4 calls:
1.0ms
(atan (sqrt (* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x))))
94.0ms
(sqrt (* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x)))
74.0ms
(* (- 1.0 x) (+ 1.0 x))
266.0ms
(* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x))

series328.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(atan (sqrt (* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x))))
137.0ms
(sqrt (* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x)))
126.0ms
(* (- 1.0 x) (+ 1.0 x))
59.0ms
(* (/ (- 1.0 x) (* (- 1.0 x) (+ 1.0 x))) (- 1.0 x))

simplify3.8s

Counts
113 → 113
Iterations
IterNodes
done5627
22903
1570
0186

prune837.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (/ 1 (+ 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
0.0b
(/ (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (/ 1 (+ 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
0.0b
(/ 1 (+ 1.0 x))
0.1b
(* x (* x x))

rewrite447.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
26×*-un-lft-identity
20×pow1 add-sqr-sqrt add-cbrt-cube
18×add-cube-cbrt times-frac
9×div-exp sqrt-prod
7×prod-exp associate-/r*
6×associate-/r/ associate-/l/
5×cbrt-undiv pow-prod-up cbrt-unprod
4×distribute-lft-out associate-/l* add-log-exp
3×flip3-+ associate-*l* pow-prod-down flip-+ div-inv
2×frac-times rec-exp flip3-- frac-2neg 1-exp associate-*l/ clear-num flip--
1×pow2 rem-sqrt-square pow-flip sqrt-pow1 pow-plus cube-unmult pow1/2 sqrt-div associate-*r/ associate-*r* pow-sqr un-div-inv *-commutative inv-pow unswap-sqr
Counts
4 → 114
Calls
4 calls:
137.0ms
(sqrt (/ (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (/ 1 (+ 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
233.0ms
(/ (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (/ 1 (+ 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
23.0ms
(/ 1 (+ 1.0 x))
48.0ms
(* x (* x x))

series462.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(sqrt (/ (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (/ 1 (+ 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
128.0ms
(/ (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (/ 1 (+ 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
48.0ms
(/ 1 (+ 1.0 x))
67.0ms
(* x (* x x))

simplify3.5s

Counts
126 → 126
Iterations
IterNodes
done5001
22470
1622
0230

prune887.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes60.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done15
115
011

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.3s7921×body80nan
897.0ms8000×body80valid