Details

Time bar (total: 5.7s)

sample29.0ms

Algorithm
intervals
Results
11.0ms348×body80valid

simplify13.0ms

Counts
1 → 1
Iterations
IterNodes
done22
322
220
114
06

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize16.0ms

Local error

Found 1 expressions with local error:

5.0b
(* x (+ 1.0 (* y y)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
1 → 22
Calls
1 calls:
19.0ms
(* x (+ 1.0 (* y y)))

series73.0ms

Counts
1 → 3
Calls
1 calls:
73.0ms
(* x (+ 1.0 (* y y)))

simplify486.0ms

Counts
25 → 25
Iterations
IterNodes
done5000
2772
1161
050

prune130.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 1.0) (* y (* y x)))
0.2b
(* y (* y x))

rewrite22.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-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
1×+-commutative sum-log flip3-+ associate-*r* *-commutative flip-+
Counts
2 → 29
Calls
2 calls:
7.0ms
(+ (* x 1.0) (* y (* y x)))
15.0ms
(* y (* y x))

series110.0ms

Counts
2 → 6
Calls
2 calls:
91.0ms
(+ (* x 1.0) (* y (* y x)))
19.0ms
(* y (* y x))

simplify531.0ms

Counts
35 → 35
Iterations
IterNodes
done5001
2886
1166
057

prune157.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

10.7b
(* (* y y) x)
17.4b
(cbrt (* (* y y) x))
17.4b
(cbrt (* (* y y) x))
17.4b
(cbrt (* (* y y) x))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 46
Calls
4 calls:
21.0ms
(* (* y y) x)
16.0ms
(cbrt (* (* y y) x))
20.0ms
(cbrt (* (* y y) x))
16.0ms
(cbrt (* (* y y) x))

series341.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (* y y) x)
111.0ms
(cbrt (* (* y y) x))
96.0ms
(cbrt (* (* y y) x))
113.0ms
(cbrt (* (* y y) x))

simplify522.0ms

Counts
58 → 58
Iterations
IterNodes
done5001
2924
1178
069

prune265.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

4.3b
(* x (- (* 1.0 1.0) (pow y 4)))
10.3b
(/ (* x (- (* 1.0 1.0) (pow y 4))) (- 1.0 (* y y)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
9×add-cbrt-cube add-exp-log
6×*-un-lft-identity associate-*r* add-cube-cbrt
5×difference-of-squares
4×pow1 associate-/r* times-frac associate-*r/
3×flip3-- associate-*l* flip--
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod add-log-exp associate-/l/
1×clear-num unpow-prod-down frac-2neg pow-prod-down *-commutative div-inv associate-/l* unswap-sqr sqr-pow
Counts
2 → 54
Calls
2 calls:
39.0ms
(* x (- (* 1.0 1.0) (pow y 4)))
37.0ms
(/ (* x (- (* 1.0 1.0) (pow y 4))) (- 1.0 (* y y)))

series318.0ms

Counts
2 → 6
Calls
2 calls:
137.0ms
(* x (- (* 1.0 1.0) (pow y 4)))
181.0ms
(/ (* x (- (* 1.0 1.0) (pow y 4))) (- 1.0 (* y y)))

simplify1.0s

Counts
60 → 60
Iterations
IterNodes
done5001
21936
1360
0122

prune288.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes361.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done11
111
07

end0.0ms

sample784.0ms

Algorithm
intervals
Results
321.0ms10691×body80valid