Details

Time bar (total: 11.8s)

sample19.0ms

Algorithm
intervals
Results
8.0ms307×body80valid

simplify72.0ms

Counts
1 → 1
Iterations
IterNodes
done65
965
863
760
654
550
443
335
222
116
06

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 1 expressions with local error:

4.7b
(fma y (/ x 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 z) x)

series38.0ms

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

simplify2.9s

Counts
13 → 13
Iterations
IterNodes
done5001
52334
4783
3194
257
126
018

prune55.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (fma y (/ x z) x))
4.7b
(fma y (/ x z) x)
4.7b
(fma y (/ x z) x)
4.7b
(fma y (/ x z) x)

rewrite8.0ms

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

series251.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(cbrt (fma y (/ x z) x))
29.0ms
(fma y (/ x z) x)
32.0ms
(fma y (/ x z) x)
28.0ms
(fma y (/ x z) x)

simplify2.0s

Counts
55 → 55
Iterations
IterNodes
done5000
43822
3876
2245
1105
055

prune308.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ y z))
12.2b
(/ (* x (+ y z)) z)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×pow1 associate-*r* associate-*r/
3×associate-/r* times-frac associate-*l*
2×expm1-log1p-u cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ log1p-expm1-u add-log-exp associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 50
Calls
2 calls:
29.0ms
(* x (+ y z))
20.0ms
(/ (* x (+ y z)) z)

series121.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(* x (+ y z))
74.0ms
(/ (* x (+ y z)) z)

simplify2.3s

Counts
56 → 56
Iterations
IterNodes
done5007
33873
2848
1250
090

prune217.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
94×*-un-lft-identity
62×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
16×distribute-lft-out
11×associate-/r/
9×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×flip3-+ flip-+
4×cbrt-undiv div-exp
2×expm1-log1p-u pow1 clear-num frac-2neg log1p-expm1-u add-log-exp
Counts
2 → 127
Calls
2 calls:
10.0ms
(/ z (+ y z))
13.0ms
(/ x (/ z (+ y z)))

series99.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(/ z (+ y z))
51.0ms
(/ x (/ z (+ y z)))

simplify1.3s

Counts
133 → 133
Iterations
IterNodes
done5000
21683
1480
0191

prune586.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes166.0ms

Accuracy

2.4% (3.0b remaining)

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

bsearch89.0ms

Steps
ItersRangePoint
9
2.240150696418369e-127
1.6075284616162596e-119
1.1236850826911744e-120
9
-1.841826682163307e-200
-1.31900383249767e-207
-1.244096151631291e-205

simplify3.0ms

Iterations
IterNodes
done25
125
017

end0.0ms

sample1.2s

Algorithm
intervals
Results
809.0ms9508×body80valid