Details

Time bar (total: 11.1s)

sample36.0ms

Algorithm
intervals
Results
15.0ms329×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5001
82177
7621
6221
596
439
328
219
112
06

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- y x) z)
0.0b
(+ (/ (- y x) z) x)

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
35×add-sqr-sqrt
30×times-frac
21×add-cube-cbrt
19×fma-def
7×distribute-lft-out-- difference-of-squares
5×associate-/l*
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r*
2×expm1-log1p-u pow1 div-sub log1p-expm1-u div-inv associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ flip3-- div-exp associate-+l- flip-+ flip-- distribute-lft-out
Counts
2 → 74
Calls
2 calls:
20.0ms
(/ (- y x) z)
70.0ms
(+ (/ (- y x) z) x)

series76.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(/ (- y x) z)
42.0ms
(+ (/ (- y x) z) x)

simplify695.0ms

Counts
80 → 80
Iterations
IterNodes
done5001
2934
1239
099

prune446.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma (- y x) (/ 1 z) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (- y x) (/ 1 z) x)

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(fma (- y x) (/ 1 z) x)

simplify2.6s

Counts
13 → 13
Iterations
IterNodes
done5002
42768
3279
274
135
021

prune64.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ (- (pow y 3) (pow x 3)) (* (fma x (+ x y) (* y y)) z)) x)
1.3b
(- (pow y 3) (pow x 3))
3.6b
(* (fma x (+ x y) (* y y)) z)
34.9b
(/ (- (pow y 3) (pow x 3)) (* (fma x (+ x y) (* y y)) z))

rewrite411.0ms

Algorithm
rewrite-expression-head
Rules
183×add-sqr-sqrt
144×prod-diff
127×*-un-lft-identity
123×unpow-prod-down cube-prod
85×add-cube-cbrt
64×difference-of-squares
57×sqr-pow
50×times-frac
29×fma-def
25×cube-mult unpow3 associate-/l*
20×distribute-lft-out--
12×fma-neg
11×add-cbrt-cube add-exp-log
8×add-log-exp
6×pow1
4×expm1-log1p-u difference-cubes log1p-expm1-u
3×associate-*r* associate-*l*
2×cbrt-undiv flip3-- div-sub div-exp prod-exp cbrt-unprod div-inv flip-- associate-/l/
1×+-commutative clear-num associate-/r* sum-log sub-neg frac-2neg flip3-+ diff-log pow-prod-down *-commutative associate-+l- flip-+ distribute-lft-out unswap-sqr
Counts
4 → 326
Calls
4 calls:
234.0ms
(+ (/ (- (pow y 3) (pow x 3)) (* (fma x (+ x y) (* y y)) z)) x)
32.0ms
(- (pow y 3) (pow x 3))
12.0ms
(* (fma x (+ x y) (* y y)) z)
105.0ms
(/ (- (pow y 3) (pow x 3)) (* (fma x (+ x y) (* y y)) z))

series357.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(+ (/ (- (pow y 3) (pow x 3)) (* (fma x (+ x y) (* y y)) z)) x)
73.0ms
(- (pow y 3) (pow x 3))
58.0ms
(* (fma x (+ x y) (* y y)) z)
111.0ms
(/ (- (pow y 3) (pow x 3)) (* (fma x (+ x y) (* y y)) z))

simplify2.1s

Counts
338 → 338
Iterations
IterNodes
done5000
23809
1772
0320

prune854.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes166.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
06

end0.0ms

sample787.0ms

Algorithm
intervals
Results
421.0ms10159×body80valid