Details

Time bar (total: 9.6s)

sample30.0ms

Algorithm
intervals
Results
10.0ms313×body80valid

simplify14.0ms

Counts
1 → 1
Iterations
IterNodes
done16
416
315
212
18
05

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

6.0b
(/ (* x y) z)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
6×add-cbrt-cube add-exp-log
3×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
2×cbrt-undiv div-exp
1×pow1 clear-num frac-2neg prod-exp cbrt-unprod div-inv associate-/l* add-log-exp
Counts
1 → 21
Calls
1 calls:
15.0ms
(/ (* x y) z)

series47.0ms

Counts
1 → 3
Calls
1 calls:
47.0ms
(/ (* x y) z)

simplify632.0ms

Counts
24 → 24
Iterations
IterNodes
done5000
2624
1119
048

prune122.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

5.7b
(/ x (/ z y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
43×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/r*
6×add-cbrt-cube add-exp-log
5×div-inv
3×cbrt-undiv div-exp associate-/l*
1×pow1 clear-num frac-2neg associate-/r/ add-log-exp
Counts
1 → 70
Calls
1 calls:
8.0ms
(/ x (/ z y))

series37.0ms

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

simplify888.0ms

Counts
73 → 73
Iterations
IterNodes
done5000
21641
1374
0150

prune286.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

6.2b
(* x (/ y z))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
22.0ms
(* x (/ y z))

series23.0ms

Counts
1 → 3
Calls
1 calls:
23.0ms
(* x (/ y z))

simplify2.1s

Counts
35 → 35
Iterations
IterNodes
done5002
34679
2670
1179
069

prune176.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

7.7b
(/ (/ x z) (/ 1 y))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
421×times-frac
197×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
29×div-inv
23×add-exp-log
16×div-exp
13×associate-/r* add-cbrt-cube associate-/l*
8×cbrt-undiv
2×rec-exp 1-exp
1×pow1 clear-num frac-2neg associate-/r/ add-log-exp associate-/l/
Counts
1 → 219
Calls
1 calls:
17.0ms
(/ (/ x z) (/ 1 y))

series25.0ms

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

simplify695.0ms

Counts
222 → 222
Iterations
IterNodes
done5000
11404
0407

prune526.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0b

regimes588.0ms

Accuracy

86.2% (0.8b remaining)

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

bsearch1.0ms

simplify2.4s

Iterations
IterNodes
done5002
133509
121065
11648
10229
9163
8103
771
654
541
435
332
226
123
019

end0.0ms

sample906.0ms

Algorithm
intervals
Results
401.0ms9673×body80valid