Details

Time bar (total: 28.8s)

sample257.0ms

Algorithm
intervals
Results
82.0ms292×body80nan
47.0ms51×body1280valid
30.0ms13×body2560valid
29.0ms40×body640valid
25.0ms159×body80valid
6.0ms10×body320valid
3.0ms9×body160valid

simplify379.0ms

Counts
1 → 1
Iterations
IterNodes
done86
686
584
478
367
250
132
018

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.3b
(/ a (* b 3.0))
0.3b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
27.5b
(cos (- y (/ (* z t) 3.0)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
9×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
6×times-frac
5×prod-exp cbrt-unprod
4×cbrt-undiv associate-/r* div-exp insert-posit16 associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×cos-sum clear-num frac-2neg div-inv
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 76
Calls
4 calls:
9.0ms
(/ (* z t) 3.0)
11.0ms
(/ a (* b 3.0))
31.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
11.0ms
(cos (- y (/ (* z t) 3.0)))

series231.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ (* z t) 3.0)
22.0ms
(/ a (* b 3.0))
127.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
51.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.3s

Counts
88 → 88
Iterations
IterNodes
done5000
21369
1426
0174

prune630.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.5b

localize50.0ms

Local error

Found 4 expressions with local error:

15.8b
(cbrt (/ (* z t) 3.0))
15.8b
(cbrt (/ (* z t) 3.0))
15.8b
(cbrt (/ (* z t) 3.0))
27.6b
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×cbrt-div pow1/3 div-inv
2×cos-sum
1×cos-diff sub-neg
Counts
4 → 62
Calls
4 calls:
4.0ms
(cbrt (/ (* z t) 3.0))
4.0ms
(cbrt (/ (* z t) 3.0))
4.0ms
(cbrt (/ (* z t) 3.0))
12.0ms
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))

series506.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(cbrt (/ (* z t) 3.0))
140.0ms
(cbrt (/ (* z t) 3.0))
102.0ms
(cbrt (/ (* z t) 3.0))
127.0ms
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))

simplify2.2s

Counts
74 → 74
Iterations
IterNodes
done5001
54203
41342
3659
2298
1167
095

prune729.0ms

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 17.2b

localize53.0ms

Local error

Found 4 expressions with local error:

15.8b
(cbrt (/ (* z t) 3.0))
15.8b
(cbrt (/ (* z t) 3.0))
15.8b
(cbrt (/ (* z t) 3.0))
27.6b
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×cbrt-div pow1/3 div-inv
2×cos-sum
1×cos-diff sub-neg
Counts
4 → 62
Calls
4 calls:
2.0ms
(cbrt (/ (* z t) 3.0))
2.0ms
(cbrt (/ (* z t) 3.0))
2.0ms
(cbrt (/ (* z t) 3.0))
8.0ms
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))))

series467.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(cbrt (/ (* z t) 3.0))
101.0ms
(cbrt (/ (* z t) 3.0))
129.0ms
(cbrt (/ (* z t) 3.0))
116.0ms
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))))

simplify2.3s

Counts
74 → 74
Iterations
IterNodes
done5004
54686
41414
3682
2307
1172
097

prune1.0s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 17.2b

localize111.0ms

Local error

Found 4 expressions with local error:

15.8b
(cbrt (/ (* z t) 3.0))
15.8b
(cbrt (/ (* z t) 3.0))
15.8b
(cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0)))) (cbrt (cbrt (/ (* z t) 3.0))))))
27.6b
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0)))) (cbrt (cbrt (/ (* z t) 3.0)))))))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
153×cbrt-div
49×frac-times
31×associate-*l/
27×associate-*r/
15×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×times-frac
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3
2×cos-sum div-inv
1×cos-diff sub-neg
Counts
4 → 86
Calls
4 calls:
2.0ms
(cbrt (/ (* z t) 3.0))
3.0ms
(cbrt (/ (* z t) 3.0))
53.0ms
(cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0)))) (cbrt (cbrt (/ (* z t) 3.0))))))
11.0ms
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0)))) (cbrt (cbrt (/ (* z t) 3.0)))))))))

series481.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(cbrt (/ (* z t) 3.0))
101.0ms
(cbrt (/ (* z t) 3.0))
130.0ms
(cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0)))) (cbrt (cbrt (/ (* z t) 3.0))))))
120.0ms
(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0)))) (cbrt (cbrt (/ (* z t) 3.0)))))))))

simplify2.0s

Counts
98 → 98
Iterations
IterNodes
done5032
42792
31378
2805
1425
0208

prune1.1s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 17.1b

regimes6.0s

Accuracy

50% (2.1b remaining)

Error of 18.1b against oracle of 16.0b and baseline of 20.2b

bsearch3.0ms

simplify28.0ms

Iterations
IterNodes
done59
159
042

end0.0ms

sample8.7s

Algorithm
intervals
Results
2.1s5563×body80valid
2.1s8962×body80nan
1.8s1539×body1280valid
838.0ms948×body640valid
742.0ms382×body2560valid
287.0ms428×body320valid
74.0ms200×body160valid