Details

Time bar (total: 14.6s)

sample49.0ms

Algorithm
intervals
Results
22.0ms256×body80valid
7.0ms256×pre80true

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5001
51622
4330
3103
248
119
08

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.5b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 1 (* (/ b a) (/ b a)))
0.4b
(* (/ b a) (/ b a))
5.2b
(sqrt (fabs (- 1 (* (/ b a) (/ b a)))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
40×times-frac
35×*-un-lft-identity
34×add-cube-cbrt
15×add-cbrt-cube add-exp-log
13×swap-sqr associate-*r* associate-*l*
11×pow1
5×add-log-exp
4×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
3×expm1-log1p-u fma-neg prod-diff sqrt-prod log1p-expm1-u
2×difference-of-squares
1×pow2 frac-times rem-sqrt-square sub-neg sqrt-pow1 pow-plus flip3-- pow1/2 diff-log pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up flip--
Counts
3 → 106
Calls
3 calls:
10.0ms
(- 1 (* (/ b a) (/ b a)))
26.0ms
(* (/ b a) (/ b a))
1.0ms
(sqrt (fabs (- 1 (* (/ b a) (/ b a)))))

series125.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(- 1 (* (/ b a) (/ b a)))
34.0ms
(* (/ b a) (/ b a))
33.0ms
(sqrt (fabs (- 1 (* (/ b a) (/ b a)))))

simplify4.0s

Counts
115 → 115
Iterations
IterNodes
done5000
23917
1514
0164

prune684.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 5.5b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (sqrt b) a)
0.4b
(* (/ (sqrt b) a) (/ (sqrt b) a))
5.2b
(sqrt (fabs (- 1 (* b (* (/ (sqrt b) a) (/ (sqrt b) a))))))
6.2b
(* b (* (/ (sqrt b) a) (/ (sqrt b) a)))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
121×add-sqr-sqrt
114×times-frac
77×*-un-lft-identity add-cube-cbrt
63×sqrt-prod
36×add-cbrt-cube add-exp-log
28×swap-sqr
25×associate-*l*
23×associate-*r*
17×pow1
13×prod-exp cbrt-unprod
10×unswap-sqr
9×cbrt-undiv div-exp
6×associate-/l*
5×associate-*r/ div-inv
4×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
3×associate-/r*
2×frac-times associate-*l/ *-commutative
1×pow2 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow-plus pow1/2 pow-sqr pow-prod-up
Counts
4 → 193
Calls
4 calls:
7.0ms
(/ (sqrt b) a)
60.0ms
(* (/ (sqrt b) a) (/ (sqrt b) a))
1.0ms
(sqrt (fabs (- 1 (* b (* (/ (sqrt b) a) (/ (sqrt b) a))))))
38.0ms
(* b (* (/ (sqrt b) a) (/ (sqrt b) a)))

series215.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(/ (sqrt b) a)
53.0ms
(* (/ (sqrt b) a) (/ (sqrt b) a))
19.0ms
(sqrt (fabs (- 1 (* b (* (/ (sqrt b) a) (/ (sqrt b) a))))))
58.0ms
(* b (* (/ (sqrt b) a) (/ (sqrt b) a)))

simplify865.0ms

Counts
205 → 205
Iterations
IterNodes
done5000
1793
0249

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 5.5b

localize76.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ b a) (/ b a))
0.4b
(* (/ b a) (/ b a))
5.2b
(sqrt (fabs (/ (- 1 (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))) (fma (* (/ b a) (/ b a)) (+ 1 (* (/ b a) (/ b a))) 1))))
19.2b
(/ (- 1 (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))) (fma (* (/ b a) (/ b a)) (+ 1 (* (/ b a) (/ b a))) 1))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
89×times-frac
69×*-un-lft-identity add-cube-cbrt
30×add-cbrt-cube add-exp-log
26×swap-sqr associate-*r* associate-*l*
19×pow1
9×cbrt-undiv div-exp div-inv
8×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* sqrt-prod associate-/l*
2×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up associate-/l/
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 flip3-- pow1/2 div-sub flip--
Counts
4 → 185
Calls
4 calls:
23.0ms
(* (/ b a) (/ b a))
19.0ms
(* (/ b a) (/ b a))
1.0ms
(sqrt (fabs (/ (- 1 (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))) (fma (* (/ b a) (/ b a)) (+ 1 (* (/ b a) (/ b a))) 1))))
36.0ms
(/ (- 1 (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))) (fma (* (/ b a) (/ b a)) (+ 1 (* (/ b a) (/ b a))) 1))

series316.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (/ b a) (/ b a))
32.0ms
(* (/ b a) (/ b a))
46.0ms
(sqrt (fabs (/ (- 1 (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))) (fma (* (/ b a) (/ b a)) (+ 1 (* (/ b a) (/ b a))) 1))))
197.0ms
(/ (- 1 (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))) (fma (* (/ b a) (/ b a)) (+ 1 (* (/ b a) (/ b a))) 1))

simplify2.8s

Counts
197 → 197
Iterations
IterNodes
done5000
23423
1576
0197

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 5.5b

regimes90.0ms

Accuracy

0% (0.0b remaining)

Error of 8.1b against oracle of 8.1b and baseline of 8.1b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample997.0ms

Algorithm
intervals
Results
512.0ms8000×body80valid
205.0ms8000×pre80true