Details

Time bar (total: 10.6s)

sample32.0ms

Algorithm
intervals
Results
12.0ms393×body80valid

simplify60.0ms

Counts
1 → 1
Iterations
IterNodes
done70
570
469
357
232
114
08

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* x x) (* (* y z) 4.0))
0.0b
(* (* y z) 4.0)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
1×sub-neg flip3-- diff-log associate-*l* *-commutative flip--
Counts
2 → 30
Calls
2 calls:
6.0ms
(- (* x x) (* (* y z) 4.0))
14.0ms
(* (* y z) 4.0)

series110.0ms

Counts
2 → 6
Calls
2 calls:
84.0ms
(- (* x x) (* (* y z) 4.0))
25.0ms
(* (* y z) 4.0)

simplify663.0ms

Counts
36 → 36
Iterations
IterNodes
done5000
21005
1186
066

prune211.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x x) (* y (* 4.0 z)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip--
Counts
1 → 12
Calls
1 calls:
13.0ms
(- (* x x) (* y (* 4.0 z)))

series82.0ms

Counts
1 → 3
Calls
1 calls:
82.0ms
(- (* x x) (* y (* 4.0 z)))

simplify2.3s

Counts
15 → 15
Iterations
IterNodes
done5000
33573
2549
1110
035

prune75.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* (* 4.0 z) y)) (cbrt (* (* 4.0 z) y)))
11.3b
(cbrt (* (* 4.0 z) y))
11.3b
(cbrt (* (* 4.0 z) y))
11.3b
(cbrt (* (* 4.0 z) y))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×add-cbrt-cube swap-sqr associate-*r* associate-*l* add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
42.0ms
(* (cbrt (* (* 4.0 z) y)) (cbrt (* (* 4.0 z) y)))
15.0ms
(cbrt (* (* 4.0 z) y))
11.0ms
(cbrt (* (* 4.0 z) y))
10.0ms
(cbrt (* (* 4.0 z) y))

series589.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(* (cbrt (* (* 4.0 z) y)) (cbrt (* (* 4.0 z) y)))
124.0ms
(cbrt (* (* 4.0 z) y))
123.0ms
(cbrt (* (* 4.0 z) y))
140.0ms
(cbrt (* (* 4.0 z) y))

simplify596.0ms

Counts
70 → 70
Iterations
IterNodes
done5000
2786
1224
087

prune509.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(* z (* y 4.0))
0.5b
(* z (* y 4.0))
3.1b
(sqrt (- (pow x 2) (* z (* y 4.0))))
3.1b
(sqrt (- (pow x 2) (* z (* y 4.0))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
14×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×associate-*l* pow-prod-down prod-exp sqrt-prod cbrt-unprod
4×sqrt-div add-log-exp
2×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*r* *-commutative flip--
Counts
4 → 66
Calls
4 calls:
26.0ms
(* z (* y 4.0))
25.0ms
(* z (* y 4.0))
19.0ms
(sqrt (- (pow x 2) (* z (* y 4.0))))
20.0ms
(sqrt (- (pow x 2) (* z (* y 4.0))))

series288.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* z (* y 4.0))
27.0ms
(* z (* y 4.0))
122.0ms
(sqrt (- (pow x 2) (* z (* y 4.0))))
113.0ms
(sqrt (- (pow x 2) (* z (* y 4.0))))

simplify2.6s

Counts
78 → 78
Iterations
IterNodes
done5000
34496
2791
1196
080

prune372.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes243.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample1.6s

Algorithm
intervals
Results
648.0ms12238×body80valid